Abstract.agda:28,13-17
Bool !=< Answer
when checking that the expression true has type Answer
